POMDPStressTesting.jl: Adaptive Stress Testing for Black-Box Systems
نویسندگان
چکیده
منابع مشابه
Distributed Black-Box Software Testing Using Negative Selection
In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...
متن کاملBlack-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We argue that such a model is essential for ease of modeling and expressiveness of specifications. The conformance relation is a timed extension of the inputoutput conformance relation of [29]. We argue that it is better...
متن کاملTeaching Black Box Testing
Historically, software testing received relatively less attention compared with other activities (e.g. systems analysis and design) of the software life cycle in an undergraduate computer science/information systems curriculum. Nevertheless, it is a common and important technique used to detect errors in software. This paper reports our recent experience of using a new approach to teaching soft...
متن کاملBlack-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. Application frameworks provide good examples of such enrichment. An OO framework typically provides a number of template methods that implement specific patterns of calls to hook methods. An application developer can cus...
متن کاملCombining Search-based and Adaptive Random Testing for Black-box System Testing of Real-time Embedded Systems
Effective system testing of real-time embedded systems (RTES) requires a fully automated approach. One such black-box system testing approach is to use environment models to automatically generate test cases and test oracles along with an environment simulator to enable early testing of RTES. In this paper, we propose a hybrid strategy, which combines (1+1) Evolutionary Algorithm (EA) and Adapt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Open Source Software
سال: 2021
ISSN: 2475-9066
DOI: 10.21105/joss.02749